In order to improve our understanding of the components that reflect functionally important processes during reward anticipation and consumption, we used principle components analyses (PCA) to separate and quantify averaged ERP data obtained from each stage of a modified monetary incentive delay (MID) task. Although a small number of recent ERP studies have reported that reward and loss cues potentiate ERPs during anticipation, action preparation, and consummatory stages of reward processing, these findings are inconsistent due to temporal and spatial overlap (...) between the relevant electrophysiological components. Our results show three components following cue presentation are sensitive to incentive cues (N1, P3a, P3b). In contrast to previous research, reward‐related enhancement occurred only in the P3b, with earlier components more sensitive to break‐even and loss cues. During feedback anticipation, we observed a lateralized centroparietal negativity that was sensitive to response hand but not cue type. We also show that use of PCA on ERPs reflecting reward consumption successfully separates the reward positivity from the independently modulated feedback‐P3. Last, we observe for the first time a new reward consumption component: a late negativity distributed over the left frontal pole. This component appears to be sensitive to response hand, especially in the context of monetary gain. These results illustrate that the time course and sensitivities of electrophysiological activity that follows incentive cues do not follow a simple heuristic in which reward incentive cues produce enhanced activity at all stages and substages. (shrink)

This document presents the Bonn PRINTEGER Consensus Statement: Working with Research Integrity—Guidance for research performing organisations. The aim of the statement is to complement existing instruments by focusing specifically on institutional responsibilities for strengthening integrity. It takes into account the daily challenges and organisational contexts of most researchers. The statement intends to make research integrity challenges recognisable from the work-floor perspective, providing concrete advice on organisational measures to strengthen integrity. The statement, which was concluded February 7th 2018, provides guidance on (...) the following key issues: § 1.Providing information about research integrity § 2.Providing education, training and mentoring § 3.Strengthening a research integrity culture § 4.Facilitating open dialogue § 5.Wise incentive management § 6.Implementing quality assurance procedures § 7.Improving the work environment and work satisfaction § 8.Increasing transparency of misconduct cases § 9.Opening up research § 10.Implementing safe and effective whistle-blowing channels § 11.Protecting the alleged perpetrators § 12.Establishing a research integrity committee and appointing an ombudsperson § 13.Making explicit the applicable standards for research integrity. (shrink)

Transdisciplinary research knits together knowledge from diverse epistemic communities in addressing social-environmental challenges, such as biodiversity loss, climate crises, food insecurity, and public health. This paper reflects on the roles of philosophy of science in transdisciplinary research while focusing on Indigenous and other subaltern forms of knowledge. We offer a critical assessment of demarcationist approaches in philosophy of science and outline a constructive alternative of transdisciplinary philosophy of science. While a demarcationist focus obscures the complex relations between epistemic communities, transdisciplinary (...) philosophy of science provides resources for meeting epistemic and political challenges of collaborative knowledge production. (shrink)

This article addresses ontological negotiations in the Global South through three case studies of community-based research in Brazil and Ghana. We argue that ontological perspectives of Indigenous and other subjugated communities require an ontological pluralism that recognizes the plurality of both representational tools and ways of being in the world. Locating these two readings of ontological pluralism in the politics of the Global South, the article highlights a wider dynamic from ontological paternalism to ontological diversity to ontological decolonization. We conclude (...) by arguing that this dynamic provides important lessons for reorienting agendas in social ontology through Southern Ontologies. (shrink)

We present a model of the distribution of labour in science. Such models tend to rely on the mechanism of the invisible hand . Our analysis starts from the necessity of standards in distributed processes and the possibility of multiple standards in science. Invisible hand models turn out to have only limited scope because they are restricted to describing the atypical single-standard case. Our model is a generalisation of these models to J standards; single-standard models such as Kitcher are a (...) limiting case. We introduce and formalise this model, demonstrate its dynamics and conclude that the conclusions commonly derived from invisible hand models about the distribution of labour in science are not robust against changes in the number of standards. (shrink)

Can new technology enhance purpose-driven, democratic dialogue in groups, governments, and societies? Online Deliberation: Design, Research, and Practice is the first book that attempts to sample the full range of work on online deliberation, forging new connections between academic research, technology designers, and practitioners. Since some of the most exciting innovations have occurred outside of traditional institutions, and those involved have often worked in relative isolation from each other, work in this growing field has often failed to reflect the full (...) set of perspectives on online deliberation. This volume is aimed at those working at the crossroads of information/communication technology and social science, and documents early findings in, and perspectives on, this new field by many of its pioneers. -/- CONTENTS: -/- Introduction: The Blossoming Field of Online Deliberation (Todd Davies, pp. 1-19) -/- Part I - Prospects for Online Civic Engagement -/- Chapter 1: Virtual Public Consultation: Prospects for Internet Deliberative Democracy (James S. Fishkin, pp. 23-35) -/- Chapter 2: Citizens Deliberating Online: Theory and Some Evidence (Vincent Price, pp. 37-58) -/- Chapter 3: Can Online Deliberation Improve Politics? Scientific Foundations for Success (Arthur Lupia, pp. 59-69) -/- Chapter 4: Deliberative Democracy, Online Discussion, and Project PICOLA (Public Informed Citizen Online Assembly) (Robert Cavalier with Miso Kim and Zachary Sam Zaiss, pp. 71-79) -/- Part II - Online Dialogue in the Wild -/- Chapter 5: Friends, Foes, and Fringe: Norms and Structure in Political Discussion Networks (John Kelly, Danyel Fisher, and Marc Smith, pp. 83-93) -/- Chapter 6: Searching the Net for Differences of Opinion (Warren Sack, John Kelly, and Michael Dale, pp. 95-104) -/- Chapter 7: Happy Accidents: Deliberation and Online Exposure to Opposing Views (Azi Lev-On and Bernard Manin, pp. 105-122) -/- Chapter 8: Rethinking Local Conversations on the Web (Sameer Ahuja, Manuel Pérez-Quiñones, and Andrea Kavanaugh, pp. 123-129) -/- Part III - Online Public Consultation -/- Chapter 9: Deliberation in E-Rulemaking? The Problem of Mass Participation (David Schlosberg, Steve Zavestoski, and Stuart Shulman, pp. 133-148) -/- Chapter 10: Turning GOLD into EPG: Lessons from Low-Tech Democratic Experimentalism for Electronic Rulemaking and Other Ventures in Cyberdemocracy (Peter M. Shane, pp. 149-162) -/- Chapter 11: Baudrillard and the Virtual Cow: Simulation Games and Citizen Participation (Hélène Michel and Dominique Kreziak, pp. 163-166) -/- Chapter 12: Using Web-Based Group Support Systems to Enhance Procedural Fairness in Administrative Decision Making in South Africa (Hossana Twinomurinzi and Jackie Phahlamohlaka, pp. 167-169) -/- Chapter 13: Citizen Participation Is Critical: An Example from Sweden (Tomas Ohlin, pp. 171-173) -/- Part IV - Online Deliberation in Organizations -/- Chapter 14: Online Deliberation in the Government of Canada: Organizing the Back Office (Elisabeth Richard, pp. 177-191) -/- Chapter 15: Political Action and Organization Building: An Internet-Based Engagement Model (Mark Cooper, pp. 193-202) -/- Chapter 16: Wiki Collaboration Within Political Parties: Benefits and Challenges (Kate Raynes-Goldie and David Fono, pp. 203-205) -/- Chapter 17: Debian’s Democracy (Gunnar Ristroph, pp. 207-211) -/- Chapter 18: Software Support for Face-to-Face Parliamentary Procedure (Dana Dahlstrom and Bayle Shanks, pp. 213-220) -/- Part V - Online Facilitation -/- Chapter 19: Deliberation on the Net: Lessons from a Field Experiment (June Woong Rhee and Eun-mee Kim, pp. 223-232) -/- Chapter 20: The Role of the Moderator: Problems and Possibilities for Government-Run Online Discussion Forums (Scott Wright, pp. 233-242) -/- Chapter 21: Silencing the Clatter: Removing Anonymity from a Corporate Online Community (Gilly Leshed, pp. 243-251) -/- Chapter 22: Facilitation and Inclusive Deliberation (Matthias Trénel, pp. 253-257) -/- Chapter 23: Rethinking the ‘Informed’ Participant: Precautions and Recommendations for the Design of Online Deliberation (Kevin S. Ramsey and Matthew W. Wilson, pp. 259-267) -/- Chapter 24: PerlNomic: Rule Making and Enforcement in Digital Shared Spaces (Mark E. Phair and Adam Bliss, pp. 269-271) -/- Part VI - Design of Deliberation Tools -/- Chapter 25: An Online Environment for Democratic Deliberation: Motivations, Principles, and Design (Todd Davies, Brendan O’Connor, Alex Cochran, Jonathan J. Effrat, Andrew Parker, Benjamin Newman, and Aaron Tam, pp. 275-292) -/- Chapter 26: Online Civic Deliberation with E-Liberate (Douglas Schuler, pp. 293-302) -/- Chapter 27: Parliament: A Module for Parliamentary Procedure Software (Bayle Shanks and Dana Dahlstrom, pp. 303-307) -/- Chapter 28: Decision Structure: A New Approach to Three Problems in Deliberation (Raymond J. Pingree, pp. 309-316) -/- Chapter 29: Design Requirements of Argument Mapping Software for Teaching Deliberation (Matthew W. Easterday, Jordan S. Kanarek, and Maralee Harrell, pp. 317-323) -/- Chapter 30: Email-Embedded Voting with eVote/Clerk (Marilyn Davis, pp. 325-327) -/- Epilogue: Understanding Diversity in the Field of Online Deliberation (Seeta Peña Gangadharan, pp. 329-358). -/- For individual chapter downloads, go to odbook.stanford.edu. (shrink)

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification holism (...) due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory. (shrink)

What are the philosophical views of professional philosophers, and how do these views change over time? The 2020 PhilPapers Survey surveyed around 2000 philosophers on 100 philosophical questions. The results provide a snapshot of the state of some central debates in philosophy, reveal correlations and demographic effects involving philosophers' views, and reveal some changes in philosophers' views over the last decade.

This paper aims to show that Selim Berker’s widely discussed prime number case is merely an instance of the well-known generality problem for process reliabilism and thus arguably not as interesting a case as one might have thought. Initially, Berker’s case is introduced and interpreted. Then the most recent response to the case from the literature is presented. Eventually, it is argued that Berker’s case is nothing but a straightforward consequence of the generality problem, i.e., the problematic aspect of the (...) case for process reliabilism (if any) is already captured by the generality problem. (shrink)

Cartesian arguments for global skepticism about the external world start from the premise that we cannot know that we are not in a Cartesian scenario such as an evil-demon scenario, and infer that because most of our empirical beliefs are false in such a scenario, these beliefs do not constitute knowledge. Veridicalist responses to global skepticism respond that arguments fail because in Cartesian scenarios, many or most of our empirical beliefs are true. Some veridicalist responses have been motivated using verificationism, (...) externalism, and coherentism. I argue that a more powerful veridicalist response to global skepticism can be motivated by structuralism, on which physical entities are understood as those that play a certain structural role. I develop the structuralist response and address objections. (shrink)

In this paper, I examine Alston's arguments for doxastic involuntarism. Alston fails to distinguish (i) between volitional and executional lack of control, and (ii) between compatibilist and libertarian control. As a result, he fails to notice that, if one endorses a compatibilist notion of voluntary control, the outcome is a straightforward and compelling case for doxastic voluntarism. Advocates of involuntarism have recently argued that the compatibilist case for doxastic voluntarism can be blocked by pointing out that belief is never intentional. (...) In response to this strategy, I distinguish between two types of intentionality and argue that belief is no less intentional than action is. (shrink)

Den filosofiske position konsekventialisme er ofte genstand for debat i filosofikredse, men alt for hyppigt opstår der misforståelser blandt de involverede, fordi de ikke er eksplicitte, hvad grundantagelser og væsentlige distinktioner angår. Denne korte artikel vil give en approksimation af, hvad der forstås ved konsekventialisme på et generisk niveau. Målet med artiklen er at klargøre nogle af de grundantagelser og distinktioner, som konsekventialister ofte benytter i deres teoridannelse, og som bør holdes for øje i ønsket om en frugtbar debat.

This paper discusses the Uniqueness Thesis, a core thesis in the epistemology of disagreement. After presenting uniqueness and clarifying relevant terms, a novel counterexample to the thesis will be introduced. This counterexample involves logical disagreement. Several objections to the counterexample are then considered, and it is argued that the best responses to the counterexample all undermine the initial motivation for uniqueness.

In the law of rape, consent has been and remains a gendered concept. Consent presumes female acquiescence to male sexual initiation. It presumes a man desires to penetrate a woman sexually. It presumes the woman willingly yields to the man's desires. It does not presume, and of course does not require, female sexual desire. Consent is what the law calls it when he advances and she does not put up a fight. I have argued elsewhere that the kind of thin (...) consent that the law focuses on is not enough ethically and it should not be enough legally to justify sexual penetration. I advocate sexual negotiation, where individuals discuss sexual desires and boundaries and agree to engage in penetration before it occurs, except under circumstances in which the partners have a reasonable basis to assess one another's nonverbal behavior. I argue that not only is verbal consultation about desire ordinarily ethically necessary before most acts of sexual penetration, it should be legally required. Consultation to ascertain sexual desires and boundaries assures that both parties desire penetration. (shrink)

We argue that work on norms provides a way to move beyond debates between proponents of individualist and structuralist approaches to bias, oppression, and injustice. We briefly map out the geography of that debate before presenting Charlotte Witt’s view, showing how her position, and the normative ascriptivism at its heart, seamlessly connects individuals to the social reality they inhabit. We then describe recent empirical work on the psychology of norms and locate the notions of informal institutions and soft structures with (...) respect to it. Finally, we argue that the empirical resources enrich Witt’s ascriptivism, and that the resulting picture shows theorists need not, indeed should not, choose between either the individualist or structuralist camp. (shrink)

Every account of moral responsibility has conditions that distinguish between the consequences, actions, or traits that warrant praise or blame and those that do not. One intuitive condition is that praiseworthiness and blameworthiness cannot be affected by luck, that is, by factors beyond the agent’s control. Several philosophers build their accounts of moral responsibility on this luck-free condition, and we may call their views Luck-Free Moral Responsibility (LFMR). I offer moral and metaphysical arguments against LFMR. First, I maintain that considerations (...) of fairness that often motivate LFMR do not require its adoption. Second, I contend that LFMR has counterintuitive implications for the nature and scope of praiseworthiness and blameworthiness and that LFMR is vulnerable to a reductio ad absurdum. Third, I state some common reasons for thinking that LFMR’s commitment to true counterfactuals of libertarian freedom is problematic, and I argue that if there are no such true counterfactuals and if LFMR is true, a person is praiseworthy and blameworthy at most for a tiny fraction of her actions. Fourth, I argue that proponents of LFMR cannot escape this skeptical cost by appealing to a different kind of counterfactual of freedom. Fifth, I develop an anti-skeptical motivation to affirm the idea that luck can affect moral responsibility. (shrink)

Studying consciousness requires contrasting conscious and unconscious perception. While many studies have reported unconscious perceptual effects, recent work has questioned whether such effects are genuinely unconscious, or whether they are due to weak conscious perception. Some philosophers and psychologists have reacted by denying that there is such a thing as unconscious perception, or by holding that unconscious perception has been previously overestimated. This article has two parts. In the first part, I argue that the most significant attack on unconscious perception (...) commits the criterion content fallacy: the fallacy of interpreting evidence that observers were conscious of something as evidence that they were conscious of the task-relevant features of the stimuli. In the second part, I contend that the criterion content fallacy is prevalent in consciousness research. For this reason, I hold that if unconscious perception exists, scientists studying consciousness could routinely underestimate it. I conclude with methodological recommendations for moving the debate forward. (shrink)

According to a standard criticism, Robert Brandom's “normative pragmatics”, i.e. his attempt to explain normative statuses in terms of practical attitudes, faces a dilemma. If practical attitudes and their interactions are specified in purely non-normative terms, then they underdetermine normative statuses; but if normative terms are allowed into the account, then the account becomes viciously circular. This paper argues that there is no dilemma, because the feared circularity is not vicious. While normative claims do exhibit their respective authors' practical attitudes (...) and thereby contribute towards establishing the normative statuses they are about, this circularity is not a mark of Brandom's explanatory strategy but a feature of social practice of which we theorists partake. (shrink)

Philosophical accounts denying that temporal passage is an objective feature of reality face an explanatory challenge with respect to why it appears to us as though time passes. Recently, two solutions have surfaced. Cognitive illusionism claims that people experience the passage of time due to their belief that time passes. Cognitive error theory claims that we do not experience the passage of time, but hold the belief that we do, which we have acquired through making an inference from the prior (...) belief that time passes. These approaches suppose that belief and passage experience are explanatorily connected, and they depend on the claims that people who experience the passage of time or at least believe that they do also believe that time passes. To test these claims, we probed the beliefs of populations of individuals with depression and schizotypy, thus conditions that are strongly associated with alterations in temporal phenomenology. Depression was assessed with the Beck Depression Inventory (BDI) and schizotypy with the short Oxford-Liverpool Inventory of Feelings and Experiences (O-LIFE). While cognitive illusionism and inferentialist cognitive error theory would predict a strong association between BDI and O-LIFE scores and beliefs about time passage, our study found no such association. The experience of passage does not seem to be explanatorily connected to beliefs about the passage of time. (shrink)

The study aimed to identify the reality of the use of artificial intelligence applications as a modern trend among training institutions in the southern Palestinian governorates. The study used the descriptive analytical method. The southern Palestinian governorates, and the random sample was used to collect data, as (90) applicable questionnaires were retrieved. The results of the study showed that the general estimate of artificial intelligence applications reached (83.63%), and that the order of areas of artificial intelligence applications is as follows (...) (Training And Development, System Capacity, User Behavior, Smart Agent, News Availability), and the results also showed that there were no statistically significant differences. In the use of artificial intelligence applications according to the gender variable, there are statistically significant differences in the use of artificial intelligence applications according to the variables (educational qualification, age group, number of years of service, governorate). The study presented a set of recommendations, the most important of which are: the need to attract experts and specialists to work in training institutions in order to develop applicable artificial intelligence applications, as well as the need for centers to develop their training systems in line with modern technology. (shrink)

Consciousness is scientifically challenging to study because of its subjective aspect. This leads researchers to rely on report-based experimental paradigms in order to discover neural correlates of consciousness (NCCs). I argue that the reliance on reports has biased the search for NCCs, thus creating what I call 'methodological artefacts'. This paper has three main goals: first, describe the measurement problem in consciousness science and argue that this problem led to the emergence of methodological artefacts. Second, provide a critical assessment of (...) the NCCs put forward by the global neuronal workspace theory. Third, provide the means of dissociating genuine NCCs from methodological artefacts. (shrink)

Opponents to consciousness in fish argue that fish do not feel pain because they do not have a neocortex, which is a necessary condition for feeling pain. A common counter-argument appeals to the multiple realizability of pain: while a neocortex might be necessary for feeling pain in humans, pain might be realized differently in fish. This paper argues, first, that it is impossible to find a criterion allowing us to demarcate between plausible and implausible cases of multiple realization of pain (...) without running into a circular argument. Second, opponents to consciousness in fish cannot be provided with reasons to believe in the multiple realizability of pain. I conclude that the debate on the existence of pain in fish is impossible to settle by relying on the multiple realization argument. (shrink)

Some moral value is transparent just in case an agent with average mental capacities can feasibly come to know whether some entity does, or does not, possess that value. In this paper, I consider whether legitimacy—that is, the property of exercises of political power to be permissible—is transparent. Implicit in much theorising about legitimacy is the idea that it is. I will offer two counter-arguments. First, injustice can defeat legitimacy, and injustice can be intransparent. Second, legitimacy can play a critical (...) function in our practical thought, which sometimes requires intransparency. (shrink)

:The study aimed to identify the level of enhancing the competitive advantage of training institutions in Palestine. The study used the descriptive analytical approach. A structured questionnaire was used to collect data that contribute to achieving the objectives of the study. The study population consists of workers in training institutions operating in the southern Palestinian governorates. The random sample for data collection, where (90) applicable questionnaires were retrieved. The results of the study showed that the general estimate for the competitive (...) advantage axis came with a high degree and a relative weight (90.67%). The results also showed that there were no statistically significant differences in enhancing the competitive advantage according to the variables (gender, governorate). As well as the existence of statistically significant differences in enhancing the competitive advantage according to the variables (Educational Qualification, Age Group, Number Of Years of Service). The study presented a set of recommendations, the most important of which are: the need for centers to develop their training systems in line with modern technology, in addition to the need for centers to target new areas in their service by opening other branches in diffe rent geographical locations. (shrink)

Whether the prefrontal cortex is part of the neural substrates of consciousness is currently debated. Against prefrontal theories of consciousness, many have argued that neural activity in the prefrontal cortex does not correlate with consciousness but with subjective reports. We defend prefrontal theories of consciousness against this argument. We surmise that the requirement for reports is not a satisfying explanation of the difference in neural activity between conscious and unconscious trials, and that prefrontal theories of consciousness come out of this (...) debate unscathed. (shrink)

As for most measurement procedures in the course of their development, measures of consciousness face the problem of coordination, i.e., the problem of knowing whether a measurement procedure actually measures what it is intended to measure. I focus on the case of the Perceptual Awareness Scale to illustrate how ignoring this problem leads to ambiguous interpretations of subjective reports in consciousness science. In turn, I show that empirical results based on this measurement procedure might be systematically misinterpreted.

A familiar interpretation of quantum mechanics (one of a number of views sometimes labeled the "Copenhagen interpretation'"), takes its empirical apparatus at face value, holding that the quantum wave function evolves by the Schrödinger equation except on certain occasions of measurement, when it collapses into a new state according to the Born rule. This interpretation is widely rejected, primarily because it faces the measurement problem: "measurement" is too imprecise for use in a fundamental physical theory. We argue that this is (...) a weak objection, as there may be many ways of making "measurement" precise. However, measurement-collapse interpretations face a more serious objection: a dilemma tied to the quantum Zeno effect. Is measurement itself an observable that can enter superpositions? If yes, then the standard measurement-collapse dynamics is ill-defined. If no, then (at least if measurement is an observable), measurements can never start or finish. The best way out is to deny that measurement is an observable, but this leads to strong and revisionary consequences. This reinforces the view that there is no nonrevisionary interpretation of quantum mechanics. (shrink)

A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the (...) number of truth values, and it is shown that this bound is tight. (shrink)

To study (un)conscious perception and test hypotheses about consciousness, researchers need procedures for determining whether subjects consciously perceive stimuli or not. This article is an introduction to a family of procedures called ‘confidence-based procedures’, which consist in interpreting metacognitive indicators as indicators of consciousness. I assess the validity and accuracy of these procedures, and answer a series of common objections to their use in consciousness research. I conclude that confidence-based procedures are valid for assessing consciousness, and, in most cases, accurate (...) enough for our practical and scientific purposes. (shrink)

Though the realm of biology has long been under the philosophical rule of the mechanistic magisterium, recent years have seen a surprisingly steady rise in the usurping prowess of process ontology. According to its proponents, theoretical advances in the contemporary science of evo-devo have afforded that ontology a particularly powerful claim to the throne: in that increasingly empirically confirmed discipline, emergently autonomous, higher-order entities are the reigning explanantia. If we are to accept the election of evo-devo as our best conceptualisation (...) of the biological realm with metaphysical rigour, must we depose our mechanistic ontology for failing to properly “carve at the joints” of organisms? In this paper, I challenge the legitimacy of that claim: not only can the theoretical benefits offered by a process ontology be had without it, they cannot be sufficiently grounded without the metaphysical underpinning of the very mechanisms which processes purport to replace. The biological realm, I argue, remains one best understood as under the governance of mechanistic principles. (shrink)

I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

Although they are continually compositionally reconstituted and reconfigured, organisms nonetheless persist as ontologically unified beings over time – but in virtue of what? A common answer is: in virtue of their continued possession of the capacity for morphological invariance which persists through, and in spite of, their mereological alteration. While we acknowledge that organisms‟ capacity for the “stability of form” – homeostasis - is an important aspect of their diachronic unity, we argue that this capacity is derived from, and grounded (...) in a more primitive one – namely, the homeodynamic capacity for the “specified variation of form”. In introducing a novel type of causal power – a „structural power‟ – we claim that it is the persistence of their dynamic potential to produce a specified series of structurally adaptive morphologies which grounds organisms‟ privileged status as metaphysically “one over many” over time. (shrink)

All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.

Descartes’ demon is a deceiver: the demon makes things appear to you other than as they really are. However, as Descartes famously pointed out in the Second Meditation, not all knowledge is imperilled by this kind of deception. You still know you are a thinking thing. Perhaps, though, there is a more virulent demon in epistemic hell, one from which none of our knowledge is safe. Jonathan Schaffer thinks so. The “Debasing Demon” he imagines threatens knowledge not via the truth (...) condition on knowledge, but via the basing condition. This demon can cause any belief to seem like it’s held on a good basis, when it’s really held on a bad basis. Several recent critics, Conee, Ballantyne & Evans ) grant Schaffer the possibility of such a debasing demon, and argue that the skeptical conclusion doesn’t follow. By contrast, we argue that on any plausible account of the epistemic basing relation, the “debasing demon” is impossible. Our argument for why this is so gestures, more generally, to the importance of avoiding common traps by embracing mistaken assumptions about what it takes for a belief to be based on a reason. (shrink)

Some European countries legally recognise a “right to roam”—a right to freely traverse across land, even if privately owned. Political philosophers have paid little attention to the right, and have often conceptualised property rights to include strong claim-rights to exclude others. I offer an account of the right to roam, and consider whether it can be philosophically justified on a left-liberal account of property. After finding a defence in terms of the interests served by the right lacking, I suggest that (...) the most promising defence of the right to roam is that it serves as a symbolic reminder of a fundamental type of social equality. (shrink)

A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness, and normal-form theorems for natural deduction systems.

Any intermediate propositional logic can be extended to a calculus with epsilon- and tau-operators and critical formulas. For classical logic, this results in Hilbert’s $\varepsilon $ -calculus. The first and second $\varepsilon $ -theorems for classical logic establish conservativity of the $\varepsilon $ -calculus over its classical base logic. It is well known that the second $\varepsilon $ -theorem fails for the intuitionistic $\varepsilon $ -calculus, as prenexation is impossible. The paper investigates the effect of adding critical $\varepsilon $ - (...) and $\tau $ -formulas and using the translation of quantifiers into $\varepsilon $ - and $\tau $ -terms to intermediate logics. It is shown that conservativity over the propositional base logic also holds for such intermediate ${\varepsilon \tau }$ -calculi. The “extended” first $\varepsilon $ -theorem holds if the base logic is finite-valued Gödel–Dummett logic, and fails otherwise, but holds for certain provable formulas in infinite-valued Gödel logic. The second $\varepsilon $ -theorem also holds for finite-valued first-order Gödel logics. The methods used to prove the extended first $\varepsilon $ -theorem for infinite-valued Gödel logic suggest applications to theories of arithmetic. (shrink)

Newtons experimentum crucis hat ein komplementares Gegenstück, d.h. ein Experiment, in dem die Rollen von Licht und Schatten genau ausgetauscht sind. Statt wie Newton in der Dunkelkammer zu experimentieren, müssen wir das Komplement des experimentum crucis in einer Streulichtkammer aufbauen (deren Wände sog. Lambertstrahler sind). Wenn es dieses umgestülpte Experiment wirklich gibt, dann liefert es für jeden newtonischen Beweis einen umgestülpten Gegenbeweis, dessen Konklusion die Heterogenitat der Schatten wäre (also die Behauptung, dass nicht weißes Licht, sondern schwarze Schatten eine heterogene (...) Mischung verschiedenfarbiger Strahlen mit unterschiedlichen Brechungseigenschaften seien). Dass Newtons experimentum crucis in diesem Sinne umgestülpt werden kann, wird von Newtons eigener Theorie impliziert. Mehr noch, inzwischen ist der empirische Nachweis der Umstülpung gelungen. (shrink)

Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system is sound and complete, and (...) allows cut-elimination. A question by Takano regarding the eliminability of the Takeuti-Titani density rule is answered affirmatively. (shrink)

We examined the relationship between moral foundations, empathic traits, and moral identity using an online survey via Mechanical Turk. In order to determine how moral foundations contribute to empathic traits and moral identity, we performed classical correlation analysis as well as Bayesian correlation analysis, Bayesian ANCOVA, and Bayesian regression analysis. Results showed that individualizing foundations (harm/care, fairness/reciprocity) and binding foundations (ingroup/loyalty, authority/respect, purity/sanctity) had various different relationships with empathic traits. In addition, the individualizing versus binding foundations showed somewhat reverse relationships (...) with internalization and symbolization of moral identity. This suggests that moral foundations can contribute to further understanding of empathic traits and moral identity and how they relate to moral behavior in reality. We discuss the implications of these results for moral educators when starting to teach students about moral issues. (shrink)

The JTB definition of knowledge has been shown by Gettier to be incomplete: its three conditions are necessary for knowledge, but not sufficient. We argue that the JTB definition can be completed with a very simple fourth condition, namely that the justification for the belief in p must be sufficient to exclude ¬p. It is shown that the resulting JTB+S definition solves the Gettier problem.

Psychiatric research is in crisis because of repeated failures to discover new drugs for mental disorders. Lack of measurement validity could partly account for these failures. If researchers do not actually measure the effects of drugs on the disorders they aim to investigate, one should expect suboptimal treatment outcomes. I argue that this is the case, focusing on depression, and fear & anxiety disorders. In doing so, I show how psychiatric research illustrates a more general phenomenon that I call “validity (...) drift.” A validity drift occurs when, in the course of developing new measurement procedures, researchers end up studying something different from what they originally aimed to study. I analyze the different ways in which scientists attempt to validate procedures for measuring mental disorders for the purpose of testing drugs in animal models. I show how those validation efforts might fail, thereby leading to validity drifts. Overall, this analysis highlights the complex interplay between the development of new measurement procedures, their calibration, and scientific theories of the target phenomena. (shrink)

: Background: In responsible research and innovation (RRI), innovation is seen as a way in which humankind finds solutions for societal issues. However, studies on commercial innovation show that firms respond in a different manner and at a different speed to the same societal issue. This study investigates what role organizational motives play in the product innovation processes of firms when aiming for socially responsible outcomes. Methods: This multiple-case study investigates the motives of food firms for healthier product innovation by (...) interviewing firms about the organizational motives behind product reformulation and innovation. Results: This study highlights the importance of having both instrumental and moral motives in the innovation process when aiming for socially responsible outcomes, and how both these motives interact and contribute to responsible innovation in industry. Furthermore, the study results question the nature of relational motives as a separate category from the other two categories of motives, as suggested by corporate social responsibility (CSR) scholars. Conclusions: If commercial innovation needs to contribute to solutions for societal issues, the importance of moral motives has to be stressed without annihilating the instrumental objectives of firms. Both motives contribute to the success factors of responsible product innovation in industry. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

To study consciousness, scientists need to determine when participants are conscious and when they are not. They do so with consciousness detection procedures. A recurring skeptical argument against those procedures is that they cannot be calibrated: there is no way to make sure that detection outcomes are accurate. In this article, I address two main skeptical arguments purporting to show that consciousness scientists cannot calibrate detection procedures. I conclude that there is nothing wrong with calibration in consciousness science.